Koopman theory